大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Germany 22-28 June 2003 的图书(共3151本)

Membrane Computing [electronic resource] : 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers

0
索取号：
作者：Gheorghe、 Marian.、Hinze、 Thomas.、P膬un、 Gheorghe.、Rozenberg、 Grzegorz.、Salomaa、 Arto.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

0
索取号：
作者：Beckert、 Bernhard.、March茅、 Claude.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Testbeds and Research Infrastructures. Development of Networks and Communities [electronic resource] : 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers

0
索取号：
作者：Magedanz、 Thomas.、Gavras、 Anastasius.、Thanh、 Nguyen Huu.、Chase、 Jeffry S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Provenance and Annotation of Data and Processes [electronic resource] : Third International Provenance and Annotation Workshop, IPAW 2010, Troy, NY, USA, June 15-16, 2010. Revised Selected Papers

0
索取号：
作者：McGuinness、 Deborah L.、Michaelis、 James R.、Moreau、 Luc.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Algebraic Methodology and Software Technology [electronic resource] : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers

0
索取号：
作者：Johnson、 Michael.、Pavlovic、 Dusko.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computational Science and High Performance Computing IV [electronic resource] : The 4th Russian-German Advanced Research Workshop, Freiburg, Germany, October 12 to 16, 2009

0
索取号：
作者：Krause、 Egon.、Shokin、 Yurii.、Resch、 Michael.、Kr枚ner、 Dietmar.、Shokina、 Nina.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Mobile Wireless Middleware, Operating Systems, and Applications [electronic resource] : Third International Conference, Mobilware 2010, Chicago, IL, USA, June 30 - July 2, 2010. Revised Selected Papers

0
索取号：
作者：Cai、 Ying.、Magedanz、 Thomas.、Li、 Minglu.、Xia、 Jinchun.、Giannelli、 Carlo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Information Systems Evolution [electronic resource] : CAiSE Forum 2010, Hammamet, Tunisia, June 7-9, 2010, Selected Extended Papers

0
索取号：
作者：Soffer、 Pnina.、Proper、 Erik.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Alternatives to Imprisonment in England and Wales, Germany and Turkey [electronic resource] : A Comparative Study

0
索取号：
作者：Sevdiren、 脰znur.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Simulation, Modeling, and Programming for Autonomous Robots [electronic resource] : Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings

0
索取号：
作者：Ando、 Noriaki.、Balakirsky、 Stephen.、Hemker、 Thomas.、Reggiani、 Monica.、Stryk、 Oskar.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Decision and Game Theory for Security [electronic resource] : First International Conference, GameSec 2010, Berlin, Germany, November 22-23, 2010. Proceedings

0
索取号：
作者：Alpcan、 Tansu.、Butty谩n、 Levente.、Baras、 John S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Smart Sensing and Context [electronic resource] : 5th European Conference, EuroSSC 2010, Passau, Germany, November 14-16, 2010. Proceedings

0
索取号：
作者：Lukowicz、 Paul.、Kunze、 Kai.、Kortuem、 Gerd.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Graph Theoretic Concepts in Computer Science [electronic resource] : 36th International Workshop, WG 2010, Zar贸s, Crete, Greece, June 28-30, 2010 Revised Papers

0
索取号：
作者：Thilikos、 Dimitrios M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computational Logic in Multi-Agent Systems [electronic resource] : 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers

0
索取号：
作者：Dix、 J眉rgen.、Fisher、 Michael.、Nov谩k、 Peter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Radio Frequency Identification: Security and Privacy Issues [electronic resource] : 6th International Workshop, RFIDSec 2010, Istanbul, Turkey, June 8-9, 2010, Revised Selected Papers

0
索取号：
作者：Ors Yalcin、 Siddika Berna.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science [electronic resource] : 4th International Workshop, ONTOSE 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010, Revised Selected Papers

0
索取号：
作者：Sicilia、 Miguel-Angel.、Kop、 Christian.、Sartori、 Fabio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.